Skip to content

build: update to latest version of dev-infra #31648

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

josephperrott
Copy link
Member

Update to the latest dev-infra workspace.

@josephperrott josephperrott added the action: merge The PR is ready for merge by the caretaker label Aug 5, 2025
@josephperrott josephperrott requested a review from a team as a code owner August 5, 2025 18:59
@josephperrott josephperrott added target: patch This PR is targeted for the next patch release area: build & ci Related the build and CI infrastructure of the project labels Aug 5, 2025
@josephperrott josephperrott requested review from adolgachev and ok7sai and removed request for a team August 5, 2025 18:59
@josephperrott josephperrott added target: minor This PR is targeted for the next minor release and removed target: patch This PR is targeted for the next patch release action: merge The PR is ready for merge by the caretaker labels Aug 5, 2025
Update to the latest dev-infra workspace.
@josephperrott josephperrott requested a review from a team as a code owner August 11, 2025 16:25
@josephperrott josephperrott added the action: merge The PR is ready for merge by the caretaker label Aug 11, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
action: merge The PR is ready for merge by the caretaker area: build & ci Related the build and CI infrastructure of the project target: minor This PR is targeted for the next minor release
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant